package entities.vocabulary;

import entities.Individual;
import entities.concept.PConcept;
import entities.role.Role;

public class KBVocabulary {
	private KBVocabulary(){
	}
	public static final Role ROLE_ID = new Role(KBVocabulary.IDENTITYROLE);
	public static final Individual SPECIAL_IND =  Individual.getStarIndividual();
	public static final String SPECIAL_IND_SYMB = "*";
	public static final String IMPLIES = "implies";
	public static final String EQAXIOM = "equals";
	public static final String SOME = "exists";
	public static final String TOP = "TOP";
	public static final String BOTTOM = "BOTTOM";
	public static final String ALL = "forall";
	public static final String AND = "and";
	public static final String OR = "or";
	public static final String NOT = "not";
	public static final String LEFTDEL= "(";
	public static final String RIGHTDEL= ")";
	public static final String ROLE = "role";
	public static final String IDENTITYROLE = "id-role";
	public static final String FEATURE = "feature";
	public static final String FEATUREABS = "abstract-feature";
	public static final String FEATURECON = "concrete-feature";
	//
	public static final PConcept CONCEPT_TOP = new PConcept(TOP);
	public static final PConcept CONCEPT_BOTTOM = new PConcept(BOTTOM); 
	//public static final String ASSERTIONIDENTIFIER = ":";
	//public static final String INDIVIDUALSEP = ",";
	public static final String CONASSERT = "concept-assertion";
	public static final String ROLEASSERT = "role-assertion";
	//
	public static final String LQUOTE = "\'";
	public static final String RQUOTE = "\'";
	public static final String LESSTHAN = "<";
	public static final String EQ = "=";
	public static final String LESSEQUAL = "<=";
	
	//
	public static final String FeatureValueMissingPatch = "IncompleteKnowledge";
}
